منابع مشابه
Model Checking in Bits and Pieces
The central thesis explored in this paper is that parallel model checking is easily achieved through compositional methods. This may strike the reader as being self-evident. Nevertheless, it does not appear to have been considered before. The justification comes from the following observations: (1) the efficacy of a parallel program is inversely proportional to the amount of synchronization and...
متن کاملDynamic Bits and Pieces
This report is the first of a planned sequence of annual updates of the book "Exploring Logical Dynamics", CSLI Publications, Stanford, summer 1996. It contains a number of further results obtained since its first publication. Sections 1, 2, 3 concern various issues in modal logic, 4, 5, 6 dynamic logic, and 7 temporal logic, while Sections 8, 9 digress into infinitary logic. Some corrigenda, a...
متن کاملSynthesizing Ranking Functions from Bits and Pieces
In this work, we present a novel approach based on recent advances in software model checking to synthesize ranking functions and prove termination (and non-termination) of imperative programs. Our approach incrementally refines a termination argument from an under-approximation of the terminating program state. Specifically, we learn bits of information from terminating executions, and from th...
متن کاملBits and Pieces in Logarithmic Conformal Field Theory
These are notes of my lectures held at the first School & Workshop on Logarithmic Conformal Field Theory and its Applications, September 2001 in Tehran, Iran. These notes cover only selected parts of the by now quite extensive knowledge on logarithmic conformal field theories. In particular, I discuss the proper generalization of null vectors towards the logarithmic case, and how these can be u...
متن کاملInstantiating and Detecting Design Patterns: Putting Bits and Pieces Together
Design patterns ease designing, understanding, and re-engineering software. Achieving a well-designed piece of software requires a deep understanding and a good practice of design patterns. Understanding existing software relies on the ability to identify architectural forms resulting of the implementation of design patterns. Maintaining software involves spotting places that can be improved by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.129.25